Объем экспорта железной руды из Бразилии снизился на 7,5%